Java Backend Coding Technology: Writing Code in the Era of AI
dev.to·1h·
Discuss: DEV
💻Programming languages
Math Is the Bridge: Axiom's Signal Flare and the Coming Reasoning Renaissance
zakelfassi.com·3h·
Discuss: Hacker News
⚔️Lean Tactics
The intro to distributed systems I wish I had
fragmentsofcode.substack.com·7h·
Discuss: Substack
🤝Distributed Consensus
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·16h
🔧Binary Parsers
Inside PSL: Key Management, Sandboxing, and Secure Enclaves Explained
hackernoon.com·19h
🌳Archive Merkle Trees
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·11h
⚔️Lean Theorem
Formal Framework for Quantum Advantage
arxiv.org·12h
🔐Quantum Security
Higher-Level Design Patterns
qouteall.fun·3h·
Discuss: Hacker News
✨Algebraic Effects
AI Under the Hood Part I: Understanding the Machine
kennethwolters.com·4h·
Discuss: Hacker News
📼Cassette Combinators
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·2h·
Discuss: Hacker News
🔬Lean
Learning from software errors – Part 2: Why did Ariane 5 explode after take-off?
heise.de·9h
🛡️Error Boundaries
Aperiodical News Roundup – August/September 2025
aperiodical.com·1h
📰RSS Reading Practices
Engineering at HRT: Roles, Interviews, and What to Expect
hudsonrivertrading.com·2h·
Discuss: Hacker News
🌊Stream Processing
Why Bloomberg Chose Vendor-Neutral Java Over Big Tech
thenewstack.io·16h
🔓Open Source Software
The Storage Fix DevOps Has Been Waiting For
backblaze.com·23h
💾Persistence Strategies
Containers, Typescript, React and AI/LLMs
markjgsmith.com·1d
🎯Gradual Typing
Incremental Design, DevOps, Microservices & CICD • Michael Nygard & Dave Farley
youtube.com·3h
🔄Reproducible Builds
Build vs. Buy: What it Really Takes to Harden Your Software Supply Chain
devops.com·9h
❄️Nix Adoption
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·13h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
blog.fsck.com·3d
⚔️Lean Tactics